STM: test-spec-feasible
STM: esp-test
ABS: rps(x;y)
STM: rps wf
STM: rps-total
STM: rps-anti-symmetric
ABS: random(i;j)
STM: random wf
STM: rock-paper-sissors
